arXiv:1010.0725v1 [physics.soc-ph] 4 OctLink Prediction in Complex Networks: A Survey Linyuan L¨ u a,b , Tao Zhou a,c

Source URL: arxiv.org

• Network theory
• Networks
• Mathematics
• Discrete mathematics
• Community structure
• Network science
• Evolving networks
• Scale-free network
• Hub
• Degree distribution
• Theoretical computer science

Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06

Source URL: gpd.sip.ucm.es

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

Robert H. Gilman www.math.stevens.edu/~rgilman Curriculum Vitae, February 2015 Education A.B., Princeton University, June 1964 Ph.D., Columbia University, January 1969, Advisor: P. X. Gallagher

Source URL: www.math.stevens.edu

• Geometric group theory
• Combinatorics on words
• Discrete mathematics
• Theoretical computer science
• Model theory
• Combinatorics
• Group theory
• Ring
• Cayley graph
• Hyperbolic group
• Module:User:Lesser Cartographies/G
• Module:User:Lesser Cartographies/MR

The Query-flow Graph: Model and Applications Paolo Boldi1∗ Debora Donato2

Source URL: www.francescobonchi.com

• Search algorithms
• Information science
• Information retrieval
• Internet search
• Web search query
• Reachability
• Query expansion
• Theoretical computer science
• Query optimization
• Web query classification

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 21 pages Ribbon Proofs Jules Bean 1,2 Department of Computer Science

Source URL: www.entcs.org

Amit Chakrabarti Curriculum Vitae April 2014 Associate Professor Department of Computer Science

Source URL: www.cs.dartmouth.edu

• Theoretical computer science
• Academia
• Computer science
• Computational complexity theory
• Algorithms
• Streaming algorithm
• Symposium on Discrete Algorithms
• Communication complexity
• Bernard Chazelle
• Machtey Award

Nordic Journal of Computing), 151–172. ON THE COMPLEXITY OF VARIATIONS OF EQUAL SUM SUBSETS MARK CIELIEBAK Institute of Theoretical Computer Science, ETH Z¨urich

Source URL: users.softlab.ntua.gr

Dresden University of Technology Institute for Theoretical Computer Science Chair for Automata Theory LTCS–Report

Source URL: lat.inf.tu-dresden.de

Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published

Source URL: ect.bell-labs.com

• Connection
• Differential geometry
• Process calculi
• Theoretical computer science
• -calculus
• Valuation
• Bearing pressure
• Symbol